Time-Space Tradeoffs for Branching Programs
نویسندگان
چکیده
We obtain the first non-trivial time-space tradeoff lower bound for functions f : {0, 1}n → {0, 1} on general branching programs by exhibiting a Boolean function f that requires exponential size to be computed by any branching program of length (1 + ǫ)n, for some constant ǫ > 0. We also give the first separation result between the syntactic and semantic read-k models [BRS93] for k > 1 by showing that polynomial-size semantic read-twice branching programs can compute functions that require exponential size on any syntactic read-k branching program. We also show a time-space tradeoff result on the more general R-way branching program model [BRS93]: for any k, we give a function that requires exponential size to be computed by length kn q-way branching programs, for some q = q(k).
منابع مشابه
Communication-Space Tradeoffs for Unrestricted Protocols
This paper introduces communicating branching programs and develops a general technique for demonstrating communication-space tradeoffs for pairs ofcommunicating branching programs. This technique is then used to prove communication-space tradeoffs for any pair ofcommunicating branching programs that hashes according to a universal family of hash functions. Other tradeoffs follow from this resu...
متن کاملA Quadratic Time-Space Tradeoff for Unrestricted Deterministic Decision Branching Programs
The branching program is a fundamental model of nonuniform computation, which conveniently captures both time and space restrictions. In this paper we prove a quadratic expected time-space tradeoff of the form TS = Ω ( n2 q ) for q-way deterministic decision branching programs, where q > 2. Here T is the expected computation time and S is the expected space, when all inputs are equally likely. ...
متن کاملComplexity and its Application to Lower Bounds on Branching Program
Multiparty communication complexity was first defined by Chandra, Furst, and Lipton [6] and used to obtain lower bounds on branching programs. Since then it has been used to get additional lower bounds and tradeoffs for branching programs [1, 3], lower bounds on problems in data structures [3], time-space tradeoffs for restricted Turing machines [1], and unconditional pseudorandom generators fo...
متن کاملBranching Programs with Variables, and Implications for Time-Space Tradeoffs
We introduce branching programs augmented with the ability to write to and read from variables other than the inputs. This is a substantial strengthening of the model. We show, however, that Ajtai’s size lower bounds for linear-time multi-way branching programs solving a Hamming distance problem [Ajt99a] carry over to the stronger model. This indicates an obstacle to extending this and related ...
متن کاملSuper-linear time-space tradeoff lower bounds for randomized computation
We prove the first time-space lower bound tradeoffs for randomized computation of decision problems. The bounds hold even in the case that the computation is allowed to have arbitrary probability of error on a small fraction of inputs. Our techniques are an extension of those used by Ajtai 14, 51 in his time-space tradeoffs for deterministic RAM algorithms computing element distinctness and for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Comput. Syst. Sci.
دوره 63 شماره
صفحات -
تاریخ انتشار 1986